The Assurance of Bayesian Networks for Mission Critical Systems

A prerequisite for the assurance of any mission-critical system is a comprehensive understanding of a system’s properties and behaviours. This is a challenging proposition for many AI-based Systems (AISs). Their functionality is often dictated by factors that are often outside the scope of the assurance concerns typical of conventional software systems. These distinctions have implications for all phases of the design, development, deployment and operation of AISs. They pose serious problems for existing software assurance standards, guidelines and techniques: the application of existing practices to an AIS will fail to expose or mitigate numerous system aspects that can contribute to hazardous system behaviours. This thesis introduces a number of techniques that aim to support the resolution of these problems for Bayesian Network-based Systems (BNSs). This class of system has been deployed in many applications, ranging from medical diagnostic systems to naviga- tional controls aboard autonomous systems. To date, there is no published literature on the deployment of these systems in directly safety-critical roles. This thesis introduces ap- proaches aimed at addressing three particular challenges. Firstly, it proposes a framework for conceptualising and communicating the distinctions between BNSs and conventional software systems and uses this framework to generate and refine a set of BNS verification and validation objectives. Secondly, it introduces an assurance-focussed BNS analysis technique that can provide targeted information on mission-critical aspects of a BNS. Finally, it outlines an approach for describing how BNS-specific safety evidence relates to BNS aspects, and how the evidence can be used to derive sufficient confidence in a mission-critical BNS. These contributions are then evaluated in the context of a case study that indicates the utility of the proposed techniques, and how these can be used to comprehensively structure and target the unconventional assurance concerns associated with the development of a mission-critical BNS

Recent advances in the catalytic oxidation of volatile organic compounds: a review based on pollutant sorts and sources

It is well known that urbanization and industrialization have resulted in the rapidly increasing emissions of volatile organic compounds (VOCs), which are a major contributor to the formation of secondary pollutants (e.g., tropospheric ozone, PAN (peroxyacetyl nitrate), and secondary organic aerosols) and photochemical smog. The emission of these pollutants has led to a large decline in air quality in numerous regions around the world, which has ultimately led to concerns regarding their impact on human health and general well-being. Catalytic oxidation is regarded as one of the most promising strategies for VOC removal from industrial waste streams. This Review systematically documents the progresses and developments made in the understanding and design of heterogeneous catalysts for VOC oxidation over the past two decades. It addresses in detail how catalytic performance is often drastically affected by the pollutant sources and reaction conditions. It also highlights the primary routes for catalyst deactivation and discusses protocols for their subsequent reactivation. Kinetic models and proposed oxidation mechanisms for representative VOCs are also provided. Typical catalytic reactors and oxidizers for industrial VOC destruction are further discussed. We believe that this Review will provide a great foundation and reference point for future design and development in this field

Carbon nitride as a ligand: edge-site coordination of ReCl(CO)3-fragments to g-C3 N4

IR spectroscopy and model structural studies show binding of ReCl(CO) 3-fragments to carbon nitride (g-C 3N 4) occurs via κ 2 N,N′ bidentate coordination

In-depth understanding of the morphology effect of α-Fe2O3 on catalytic ethane destruction

Shape effects of nanocrystal catalysts in different reactions have attracted remarkable attention. In the present work, three types of α-Fe2O3 oxides with different micromorphologies were rationally synthesized via a facile solvothermal method and adopted in deep oxidation of ethane. The physicochemical properties of prepared materials were characterized by XRD, N2 sorption, FE-SEM, HR-TEM, FTIR, in situ DRIFTS, XPS, Mössbauer spectroscopy, in situ Raman, electron energy loss spectroscopy, and H2-TPR. Moreover, the formation energy of oxygen vacancy and surface electronic structure on various crystal faces of α-Fe2O3 were explored by DFT calculations. It is shown that nanosphere-like α-Fe2O3 exhibits much higher ethane destruction activity and reaction stability than nanocube-like α-Fe2O3 and nanorod-like α-Fe2O3 due to larger amounts of oxygen vacancies and lattice defects, which greatly enhance the concentration of reactive oxygen species, oxygen transfer speed, and material redox property. In addition to this, DFT results reveal that nanosphere-like α-Fe2O3 has the lowest formation energy of oxygen vacancy on the (110) facet (Evo (110) = 1.97 eV) and the strongest adsorption energy for ethane (−0.26 eV) and O2 (−1.58 eV), which can accelerate the ethane oxidation process. This study has deepened the understanding of the face-dependent activities of α-Fe2O3 in alkane destruction

Atomic-scale insights into the low-temperature oxidation of methanol over a single-atom Pt1-Co3O4 catalyst

Heterogeneous catalysts with single‐atom active sites offer a means of expanding the industrial application of noble metal catalysts. Herein, an atomically dispersed Pt1‐Co3O4 catalyst is presented, which exhibits an exceptionally high efficiency for the total oxidation of methanol. Experimental and theoretical investigations indicate that this catalyst consists of Pt sites with a large proportion of occupied high electronic states. These sites possess a strong affinity for inactive Co2+ sites and anchor over the surface of (111) crystal plane, which increases the metal–support interaction of the Pt1‐Co3O4 material and accelerates the rate of oxygen vacancies regeneration. In turn, this is determined to promote the coadsorption of the probe methanol molecule and O2. Density functional theory calculations confirm that the electron transfer over the oxygen vacancies reduces both the methanol adsorption energy and activation barriers for methanol oxidation, which is proposed to significantly enhance the dissociation of the CH bond in the methanol decomposition reaction. This investigation serves as a solid foundation for characterizing and understanding single‐atom catalysts for heterogeneous oxidation reactions

The formation of methanol from glycerol bio-waste over doped ceria based catalysts

A series of ceria-based solid-solution metal oxides were prepared by co-precipitation and evaluated as catalysts for glycerol cleavage, principally to methanol. The catalyst activity and selectivity to methanol were investigated with respect to the reducibility of the catalysts. Oxides comprising of Ce-Pr and Ce-Zr were prepared, calcined and compared to CeO2, Pr6O11 and ZrO2. The oxygen storage capacity of the catalysts was examined with analysis of Raman spectroscopic measurements and a temperature programmed reduction, oxidation and reduction cycle. The incorporation of Pr resulted in significant defects, as evidenced by Raman spectroscopy. The materials were evaluated as catalysts for the glycerol to methanol reaction and it was found that an increased defect density or reducibility was beneficial. The space time yield of methanol normalised to surface area over CeO2 was found to be 0.052 mmolMeOH m-2 h-1 and over CeZrO2 and CePrO2 this was to 0.029 and 0.076 mmolMeOH m-2 h-1 respectively. The inclusion of Pr reduced the surface area, however, the carbon mole selectivity to methanol and ethylene glycol remained relatively high, suggesting a shift in the reaction pathway compared to that over ceria. This article is part of a discussion meeting issue “Science to enable the circular economy”

Transfer hydrogenation of methyl levulinate with methanol to gamma valerolactone over Cu-ZrO₂:A sustainable approach to liquid fuels

Cu-ZrO2 is demonstrated to be a highly effective catalyst for the transfer hydrogenation of methyl levulinate to γ-valerolactone, using methanol as the hydrogen donor. The emergence of several new strategies for synthesising green methanol, underlines its potential as a sustainable hydrogen source for such transformations. Transfer hydrogenation of methyl levulinate over Cu-ZrO2 was determined to proceed through a two-step ‘hydrogen borrowing’ process. The first step involves methanol dehydrogenation (rate limiting) and the second, levulinate reduction. This proof-of-concept study demonstrates that methanol can be used effectively as a hydrogen source for such transformations when a suitable catalyst is employed

The role of Mg(OH)2 in the so-called 'base-free' oxidation of glycerol with AuPd catalysts

Mg(OH)2 and Mg(OH)2 containing materials can provide excellent performance as supports for AuPd nanoparticles for oxidation of glycerol in the absence of base, which is considered to be a result of additional basic sites on the support's surface. However, its influence on the reaction solution is not generally discussed. In this paper, we examine, in detail, the relationship between the basic Mg(OH)2 support and AuPd nanoparticles using four types of catalyst, where the physical interaction between Mg(OH)2 and AuPd was adjusted. It was found that the activity of the AuPd nanoparticles increased with the amount of Mg(OH)2 added under base-free conditions, regardless of its interaction with the noble metals. In order to investigate how Mg(OH)2 affected glycerol oxidation, detailed information about the performance of AuPd/Mg(OH)2, physically mixed (AuPd/C+Mg(OH)2) and (AuPd/C+NaHCO3) was obtained and compared. Furthermore, NaOH and Mg(OH)2 were added during the reaction using AuPd/C. All these results indicate that the distinctive and outstanding performance of Mg(OH)2 supported catalysts in base-free condition is in fact directly related to its ability to affect the pH during the reaction and as such, assists with the initial activation of the primary alcohol which is considered to be the rate determining step in the reactionperformance of Mg(OH)2 supported catalysts in base-free condition could be correlated to its ability to affect the pH during the reaction